\relax 
\newlabel{claim:couples}{{1}{4}}
\newlabel{claim:other-group}{{2}{4}}
